#pragma once

#include <linux/smp.h>
#include <linux/cpumask_types.h>

typedef int (*cpu_stop_fn_t)(void *arg);

#ifdef CONFIG_SMP

#else
#include <linux/smp/stop_machine-up.h>
#endif
